Debloating Software through Piece-Wise Compilation and Loading

نویسندگان

  • Anh Quach
  • Aravind Prakash
  • Lok-Kwong Yan
چکیده

Programs are bloated. Our study shows that only 5% of libc is used on average across Ubuntu Desktop environment (>2200 programs); the heaviest user, vlc media player, only used 18%. This is striking because bloating presents a vulnerable attack surface for software exploitation and imposes undue burden on defenses (e.g., CFI defenses). In this paper: (1) We present a debloating framework built on a compiler toolchain that can successfully debloat software (shared/static libraries and executables). Our solution can successfully compile and load most libraries on Ubuntu Desktop 16.04. (2) We demonstrate an elimination of over 84% code from coreutils and 85% code from SPEC CPU 2006 benchmark programs without affecting functionality. We show that even complex COTS programs (e.g., FireFox, Curl) can be debloated without a need to recompile. (3) We demonstrate the security impact of our system by eliminating over 70% of reusable code gadgets from coreutils suite, and show that unused code that contain real-world vulnerabilities can be successfully eliminated without adverse effects on the program. (4) Our solution imposes a low load time overhead.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Piece Wise Linear Performance Modeling of Submicronic Cmos Library

Shortening of design cycles is currently obtained by designing digital systems at gate or cell level, using precharacterized gate or cell delays to speed up the performance analysis. Modeling timing library format is one of the most difficult task of library designers. We present in this paper a piece wise linear approximation of the delay performance equations of submicronic CMOS library, cons...

متن کامل

Optimization of Spindle loading and Tool Wear for CNC Turning Machine by Using Intelligent System

Intelligent knowledge based system (IKBS) is developed for optimizing dry CNC turning process using Taguchi method, CNC Machine, EN19 steel as the work piece material, andCutting Insert. Tool wear and spindle loading which are the machining parameters, spindle speed, feed rate, and depth of cut, areoptimized through the intelligent knowledge based system (IKBS). The experimental CNC turning mac...

متن کامل

Optimization of Spindle loading and Tool Wear for CNC Turning Machine by Using Intelligent System

Intelligent knowledge based system (IKBS) is developed for optimizing dry CNC turning process using Taguchi method, CNC Machine, EN19 steel as the work piece material, andCutting Insert. Tool wear and spindle loading which are the machining parameters, spindle speed, feed rate, and depth of cut, areoptimized through the intelligent knowledge based system (IKBS). The experimental CNC turning mac...

متن کامل

A Continuous Macroscopic Model

In this paper the Dynamic User Equilibrium is formulated and solved as a fixed point problem in terms of time-continuous real valued temporal profiles of arc inflows and arc performances, where travel demand is specified both through a deterministic and a stochastic implicit path choice model. By extending to the dynamic case the concept of Network Loading Map, yielding arc flows for given dema...

متن کامل

Verified Safety and Information Flow of a Block Device

This work reports on the author’s experience designing, implementing, and formally verifying a low-level piece of system software. The timing model and the adaptation of an existing information flow policy to a monadic framework are reasonably novel. Interactive compilation through equational rewriting worked well in practice. Finally, the project uncovered some potential areas for improving in...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1802.00759  شماره 

صفحات  -

تاریخ انتشار 2018